منابع مشابه
Problem 19 Alberto
A closed λ-termM is easy if, for any other closed termN , the lambda theory generated by M = N is consistent, while it is simple easy if, given an arbitrary intersection type τ , one can find a suitable pre-order on types which allows to derive τ forM . Simple easiness implies easiness. The question whether easiness implies simple easiness constitutes Problem 19 in the TLCA list of open problem...
متن کاملAlberto Corso A
Given a local Noetherian ring (R, m) of dimension d > 0 and infinite residue field, we study the invariants (dimension and multiplicity) of the Sally module SJ (I) of any m-primary ideal I with respect to a minimal reduction J. As a by-product we obtain an estimate for the Hilbert coefficients of m that generalizes a bound established by J. Elias and G. Valla in a local Cohen-Macaulay setting. ...
متن کاملAlberto A . Martinez : Negative Math
is published by Princeton University Press and copyrighted, © 2005, by Princeton University Press. All rights reserved. No part of this book may be reproduced in any form by any electronic or mechanical means (including photocopying, recording, or information storage and retrieval) without permission in writing from the publisher, except for reading and browsing via the World Wide Web. Users ar...
متن کاملGuido Gherardi and Alberto Marcone
We determine the computational complexity of the Hahn-Banach Extension Theorem. To do so, we investigate some basic connections between reverse mathematics and computable analysis. In particular, we use Weak König’s Lemma within the framework of computable analysis to classify incomputable functions of low complexity. By defining the multi-valued function Sep and a natural notion of reducibilit...
متن کاملGrasp Invariance ∗ Alberto Rodriguez and Matthew
This paper introduces a principle to guide the design of finger form: invariance of contact geometry over some continuum of varying shape and/or pose of the grasped object in the plane. Specific applications of this principle include scale-invariant and pose-invariant grasps. Under specific conditions, the principle gives rise to spiral shaped fingers, including logarithmic spirals and straight...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: L'Endocrinologo
سال: 2018
ISSN: 1590-170X,1720-8351
DOI: 10.1007/s40619-018-0435-2